Spn2mgm { Short Manual
نویسندگان
چکیده
This document describes the basic features and functionality of spn2mgm, a tool which integrates the speciication of a special class of stochastic Petri nets with an eecient numerical solution technique for its numerical analysis. The modeler using spn2mgm does not need to know about special properties of the underlying Markov chain; spn2mgm hides all details relevant to the solution method on the Petri net level, and also allows to easily specify complex performance measures on the Petri net level using a reward-based approach.
منابع مشابه
spn2mgm: Tool Support for Matrix-Geometric Stochastic Petri Nets
In this paper we present the tool spn2mgm that can be used to construct and solve stochastic Petri nets using matrix-geometric techniques. The tool automatically recognizes the \matrix-geometric structure" of the Markov chain underlying the stochastic Petri net, and solves the Markov chain with these well-known and ef-cient techniques. We informally characterize the class of stochastic Petri ne...
متن کاملManual maximum closing torque in three implant abutment systems
Background and Aims: Diferences whithin shape and size of hand wrenches in diferent systems could affect the torque applied. Therefore, evaluation of wrenches has been emphasized. The aim of the present study was to compare the torque values of the long and short torque wrenches in different implant systems including ITI, Implantium and Nobel Biocare. Materials and Methods: In this experimenta...
متن کاملEvaluating Computer-Communication Systems using Infinite-State Stochastic Petri Nets
For modelling and evaluating the performance of modern computer communication systems, quasi-birth-and-death models (QBDs) can often be used. For such QBDs, a variety of highly efficient numerical solution algorithms have been developed. For models of practically relevant size though, the specification of QBDs at the state level is cumbersome or practically infeasible. To overcome this problem,...
متن کاملMeasurement of Left Ventricular Myocardium Wall Instantaneous Motions with Echocardiographic Sequence Images
Background & Aims: One of the important aims of quantitative cardiac image processing is the clarification of myocardial motions in order to derive biomechanical behavior of the heart in the disease condition. In this study we presented a computerized analysis method for detecting the instantaneous myocardial changes by using 2D echocardiography images. Methods: The analysis was performed on th...
متن کاملGastroesophageal intussusception in a domestic short-hair cat
A 4-month-old, intact male domestic short-hair cat was presented to Veterinary Hospital with an acuteonset of regurgitation and respiratory distress. Thoracic and abdominal radiographs identified a massconsisted of a heterogeneous mixture of soft tissue and gas densities between heart and craniodorsal part of the diaphragm that was shifted to the left. The stomach could not be seen clearly. Rad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997